PFL[2]

Parallel Functional Language

Soeren Holmstrom, Matthews, Chalmers University, early 1980's

The first concurrent extension of ML[2] using CCS. (More recent ones are Poly/ML, CML[2] and Facile.)

"PFL: A Functional Language for Parallel Programming", S. Holmstrom in Proceedings of the Declarative Language Workshop, London 1983, pp.114-139.